Exercise logic.propositional.proof
Description
Prove two propositions equivalent
| Code | logic.propositional.proof |
| Status | Experimental |
| Strategy | proofequivalent |
| Rules | 58 |
| Buggy rules | 39 |
| OpenMath support | yes |
| Restartable strategy | yes |
| Exercise generator | no |
| Examples | 31 |